subtyping relation